<html>
<body>
报告继承语句（超类子句、自类型或包含调用）中使用的具有不正确差异的类型实参。 传递至继承语句的类型实参必须与声明类型变量的差异匹配。
<p>示例：</p>
<pre><code>module Enumerable[unchecked out A]
end

class Example[in A]
  # 'Example' 类的逆变类型变量 'A' 用作协变实参
  include Enumerable[A]
end</code></pre>
</body>
</html>
